% -*- coding: utf-8 -*-
% Ada 95 品质和风格
% 版权所有 (C) 2011 朱群英
% Copyright (C) 2011 Zhu Qun-Ying
%
% 本书的 TeX 代码和由之生成的 ps，pdf，html，等其他格式的文件
% 遵循 GNU通用公共授权第三版或其后的版本。
%
% 本书是基于有益的目的而加以发布，然而不负任何担保责任。
%
% 您应已收到附随于本书的GNU通用公共授权的副本；如果没有，
% 请参考 <http://www.gnu.org/licenses/gpl.html>

\chapter{程序结构}

适当的结构提高程序的清晰度。这好比底层的可读性并促进可读性准则
 (第\ref{c:readability}章)的使用。 Ada 提供的各种程序结构设施
是为了增进设计的整体清晰而设计的。本章准则会展示这些设施的目的。

子包的概念支持子系统的概念，在 Ada 中，子系统由分级结构的库单元表示。
通常，大型系统应由一系列子系统构建。子系统应该用来表示逻辑上相关的
库单元，这些单元集合起来实现了一个高层抽象或架构。

包的概念和私有类型支持抽象和封装的概念。相关的数据和子程序可以组在一起，
这样高层可以把他们看成单一实体。强类型，包和子程序的规约和实体的分离
加强了信息隐藏。异常和任务是会影响程序结构的 另外两个 Ada 语言元素。

\input{070.010-prog-structure-high-level}
\input{070.020-prog-structure-visibility}
\input{070.030-prog-structure-summary}
